Intensional Polymorphism
TaPL.icon
p.268では
内包的多相
と訳されている
Ad Hoc多相
をより強力にしたもの
実行時の型に関する制限された計算が可能になる
mrsekut.icon
??
TaPL.icon
p.268にちょっと書いているがなんもわからん
mrsekut.icon
訳でググっても出てこないので原著のキーワードの方見たほうがいいかも
キーワード
unboxing
された関数の引数
多相マーシャリング
tag-free GC
出典
論文
Intensional Polymorphism in Type-Erasure Semantics
https://www.cs.cornell.edu/talc/papers/typepass.pdf
Compiling Polymorphism Using Intensional Type Analysis
https://www.cs.cmu.edu/~rwh/papers/intensional/popl95.pdf